polymorphic typingの例文

例文

もっと例文:   1  2  3

1. This is achieved by adding constraints to type variables in parametrically polymorphic types.
2. He developed ML, was the first language with polymorphic type inference and type-safe exception handling.
3. It features a strong, static, polymorphic type system, as well as a strong mode and determinism system.
4. Syntactically, it is natural to consider polymorphic types to be type constructors, thus non-polymorphic types to be nullary type constructors.
5. Syntactically, it is natural to consider polymorphic types to be type constructors, thus non-polymorphic types to be nullary type constructors.